This is DVItype, Version 2.7
Options selected:
  Starting page = * 
  Maximum number of pages = 1000000
  Output level = 0 (showing bops, fonts, and error messages only)
  Resolution =  240.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000;       0.00005067 pixels per DVI unit
' METAFONT output 1984.12.22:1205'
Font 1: amr8---loaded at size 524288 DVI units 
 
Font 2: amtt10---loaded at size 655360 DVI units 
 
Font 3: gray---loaded at size 394688 DVI units 
 
Font 5: manfnt---loaded at size 655360 DVI units 
 
 
131: beginning of page 1 
 
Postamble starts at byte 3196.
maxv=22216672, maxh=7992432, maxstackdepth=3, totalpages=1
warning: observed maxh was 13883194
Font 1: amr8 
Font 2: amtt10 
Font 3: gray 
Font 5: manfnt